predicates finished