Changes in predicate definition