def equivNo(self, e1, e2): self.assertFalse(equiv(pExp(e1), pExp(e2)))
def equivYes(self, e1, e2): self.assertTrue(equiv(pExp(e1), pExp(e2)))