True
Formula
toString
LogicException
Matched
triviallyFalse
Atoms