 A second common counterpart of the Curry-Paradox Lemma is due to Meyer, Routley, and Dunn  (1979).[15]  It uses two principles concerning conjunction: the law form of modus ponens and the idempotency of conjunction.