MODUS TOLLENS

VIDE modus ponens