contraposed

not defined yet