Title: Induction and deduction