s/contrapositive/transposition.