tested negated predicate extension