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

Since you could not even understand whether there are written algorithms or not for OCFs above, the first step is to understand whether any algorithm is (explicitly or implicitly) written in the article of FSes. If you find it, then the next step will be to check that it is actually an appropriate algorithm. If there is no written algorothm, then the next step will be to create an appropriate algorithm. If you have any troubles in those steps, you can just go back to more elementary topics before skipping to OCFs, large cardinals, oracles, formal logic, higher order set theory, and so on.