deduction: Difference between revisions