Added contrapositions.