A Brief Excursion in Deduction.docx