unary_!
Predicate