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

UNOCF is formal up to I.