Create deduction.md