Deduction and induction — English slides