User blog comment:Syst3ms/YAUD/@comment-35470197-20180810233326/@comment-35392788-20180812071002

Yes, it would require me to give fixed values to \(\psi_M\). We know that \(\psi_M(0)\ = \Omega) or \(\psi_M(M) = I\), but this ruleset can't handle stuff like \(\psi(I)\). Sure, I could define a standard form, but would that really work with an OCF? Is it possible to define an OCF where \(\psi_M(\alpha)\) just stays "something" to be collapsed later, or do I have to give it a fixed value.

By the way, sorry for my, er, harsh responses yesterday.

Finally, if Nish pulls off the extension he was thinking about, then it will definitely not be possible to define it as an OCF.