contraposition

not defined yet