One might hold that it is principle P1 alone that fails when \(\odot\alpha\) is instantiated as \(\lnot\alpha\) (to get a negation paradox), whereas it is P2 alone that fails when \(\odot\alpha\) is instantiated as \(\alpha {\rightarrow}\pi\) (to get a Curry paradox). On this approach, ECQ and Cont fail, while Red and MP hold (Priest 1994, 2006).