unary_!
RichPredicate