Predicates completed.