Why Induction from Inducs (part 4)