Rule of Not-Elimination