P
Initializing...
Proof by two propositional cases · Prove2Me