If incompatibility of opposite-of-consequent with antecedent does not guarantee universal validity, ...