fix predicate