Hmm nice I guess, but I expected it was going to be about transfinite ordinals. I wonder if it can be extended to them.