User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-32697988-20190428074647/@comment-35470197-20190501093654

But according to your rules we have \(\psi_{\Omega_3}(0)[\psi_{\Omega_2}(\psi_{\Omega_3}(0)[2])] = 0\), because the Coughainarity of \(0\) is \(0\). Chigaimasuka?
 * Else, if X is ψ_Ω_m(A):
 * If Cough(A)=0: <ψ_Ω_m(A)>[n]=0