Skimming it I see what it's saying I think. Funny way to lay out induction, sorta backwards and no explicit mention of "induction" in proof.

Very cool to put all of this together though, at such a young age no less 👑