Linear induction

Summary