User blog comment:Moooosey/Simple psi-- a fairly simple ocf/@comment-43798125-20191026225036/@comment-35470197-20191101232955

By the way, it is good to show the well-definedness by yourself, if you want to create OCFs. It helps you to understand how it works, and hence you can learn how to strengthen your OCFs through the process.

Of course, it is absolutely difficult if you use large cardinals, which are themselves difficult to mathematically understand. But since you are only using W, it is possible. In other words, if you are not ready for verifying the well-definedness of your OCFs with W, then perhaps you are not ready for creating new OCFs which actually work as you desire.

You can occasionarily obtain a desired OCF if you randomly post new OCFs and require others to check them, but I guess that it is not what you intend. Since it is not so difficult to learn how W works in an OCF, I recommend you to try to check the well-definedness (to any extent due to your understanding) by yourself.