CONTRAPROP

Definition of CONTRAPROP