Where $\to$ is a conditional connective, the axiom scheme:

• • $\phi \to \left(\psi \to \phi \right)$

Positive paradox, like its dual negative paradox, reflects one of the so-called paradoxes of material implication motivating the creation of logics of strict implication and is also rejected by proponents of relevant logic because its validity quickly leads to violations of the variable sharing property. Positive paradox counts the axiom scheme mingle as a special case.