MODUS TOLLENS
VIDE
modus ponens