✍️

Introduction to induction proofs