Formal incompatibility between opposite-of-consequent and antecedent is itself topic-sensitive, as B...