P
Initializing...
PM ✱4·45: $p \equiv (p \land (p \lor q))$ · Prove2Me