what is an induction statement - Search