solved predicate