contraposit

not defined yet