Strong modus ponendo tollens