Thats why Induction from Inducs