def test_false(self): self.assertEqual("FALSE", str(Wff.false())) self.assertEqual(0, Wff.false().depth)