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