Implements True, False and Simple predicates.