[Closed] Negation without new condition