Strong modus tollendo ponens