contrapositives

not defined yet