Natural number game -- the lost levels! Including a proof that the natural numbers are an ordered semiring, and that strong induction holds.