contrapositive

not defined yet