 The formula ~(A → B) → (A ∧ ~B) is, of course, not a theorem of MC. Like C, MC is a paraconsistent logic containing contradictions. The connexive logic MC differs from the four-valued logic HBe presented in Avron 1991 by making use of the above clause that guarantees the validity of BTe′, i.e.,