The WFF-n-Proof Equations Game