P
Initializing...
PM ✱5·19: ${\sim} (p \equiv {\sim} p)$ · Prove2Me