Modus Ponendo Tollens/Linguistic Note

Proof Rule
Modus Ponendo Tollens is Latin for mode that by affirming, denies.