Redirecting to Reductio ad absurdum