Axiom:Rule of Not-Elimination