Lessons in Logic 44: Reductio ad Absurdum Proofs