User blog comment:Ubersketch/Ordinals with transfinite FS expansions/@comment-35470197-20190701222433/@comment-32213734-20190702103955

I fixed it for more consistent logic.