Why Induction from Inducs (part 3)