Deduction and induction