Predicates should always have a _____.