True

Formula

toString

LogicException Matched

triviallyFalse

Atoms