Predicates IsFalse, IsTrue, first tests
And, Or Special Forms, first tests