Redirecting to Modus ponens