contraposita

not defined yet