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

You mean, you have a comparison algorithm for the OCF based on weakly Mahlo cardinal which you are quoting, right? Please tell me the algorithm and the source.