A functional predicate that may be true or false