NegativeExpr + NotExpr (Check)