unary_!
Restriction