Baker, A. Enumerative Induction in Mathematics. JPM 2024, 1, 5-21.