Equivalences and Contrapositions