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