User blog comment:Googology Noob/Ordinal FGH, with an actual definition!/@comment-26428969-20160101121539/@comment-27173506-20160102085306

Thanks! Looks very interesting.