Solved predicates.