Definition:Induction Step