predicate changes