fixing predicate