User blog comment:Googology Noob/Ordinal FGH, with an actual definition!/@comment-27173506-20151218211444/@comment-27173506-20151219085100

Okay, thanks!