Why Induction from Inducs (part 1)