predicates completed