User blog comment:Moooosey/My most recent OCF/@comment-35470197-20191112221228

Please fix the latex so that it will be visible.

> P-bot has decided that this is likely welldefined

As I commented here, it is better to show the well-definedness by yourself. Unlike computable functions defined in arithmetic, it is not so difficult to understand how it is defined. Moreover, to understand how it is defined is actually necessary to understand how it works. If you do no want to create random OCFs and just wait for others to judge that one of them is cool, please try it by yourself.