wiki/concepts/strong_induction.md history