let contradict_rel (rel1,t11,t12) (rel2,t21,t22) = rel_are_equals (rel1,t11,t12) (opposite_rel rel2, t21,t22)