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