contrapose

not defined yet