modus tollens added