reintroduced predicates