Complete predicates.