Tag: induction vs deduction