What is a predicate?