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