predicates done.