predicates done