some solutions for Induction