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