User blog comment:Rgetar/Idea for FGH for larger transfinite ordinals/@comment-11227630-20190704063145/@comment-32213734-20190705044320

Yes, it looks like. I edited the comment since I strive to simplify.