What Is a Predicate?