Strong induction

Summary