completed predicates