predicates solved