Another reason to choose induction from Inducs