learning deduction