Talk:Deduction and induction