Deduction and induction — matching and reasoning