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

Oh, very true. I do think that there is a non trivial map from UNOCF to PSS though.