¹A predicate is a function that, when applied to an object of the domain, returns either true or false.