User blog comment:Ubersketch/A proposal for a standard/@comment-34422464-20190813205023/@comment-34422464-20190813231639

Actually, now that I think about it, since ordinals in OCFs are always a subset of recursive ordinals, there exists a comparison algorithm, just tht we don't know it. Now knowing that for now, it is practical to use KOCF2 instead, I will change the standard proposal back to KOCF2.