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

It just contradicts the well-foundedness.