I would like to point out that the whole article can be treated as a metaphor for one of the major themes of mathematical and computational/CS thinking, i.e., exploring generalizations and "meta-generalizations". (edit: well I guess I just repeated the title+conclusion of the article, since "generalization" is similar to "abstraction", so we have "abstraction and meta-abstraction" which is alluded by the title plus the conclusion that says it's not just one linear ladder but a multi-dimensional multi-faceted construct).<p>Reminds me of a cool youtube playlist [1] (David Metzler - Ridiculously Huge Numbers)<p>[1] <a href="https://www.youtube.com/playlist?list=PL3A50BB9C34AB36B3" rel="nofollow">https://www.youtube.com/playlist?list=PL3A50BB9C34AB36B3</a>