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