Equivalences

Any questions so far?