P
Initializing...
PM ✱5·5: $p \supset ((p \supset q) \equiv q)$ · Prove2Me