Why Induction from Inducs (part 5)