Completed predicates