Au Revoir to Reductio ad Absurdem