User blog comment:LittlePeng9/Formalizing googology - naming schemes/@comment-25601061-20180401235440

wait, is this an april fools joke?