User blog comment:Ubersketch/Homomorphism between Cantor's normal form of finite degree and primitive sequence system/@comment-35470197-20190809223713/@comment-39541634-20190812044014

How can UNOCF have "infinite loops" when it was never defined properly? Or did the UNOCF crowd finally got to agree on a formal definition of UNOCF in the months I were absent?