exercise 1.8 requires transitivity
unmarked errata for 6d0b239
Merge pull request #549 from mikeshulman/transitivity

exercise 1.8 requires transitivity, close #533