Redirecting to Modus tollens