weak Pierce's law

The (classical) tautology .

It can be seen as a special case of Pierce's law through the equivalence .

It is weaker than Pierce's law relative to minimal logic.