User blog comment:Alemagno12/I made a Pi w-reflection OCF, how horribly wrong am I?/@comment-35470197-20180812220655/@comment-35470197-20180813003433

(2) I meant \(\gamma\), which appears in the definition of \(C\). But it is irrelevant now because you fixed the definition of \(M_{\kappa}^{P_0,A}\).

(3) I meant \(M_{\kappa}^{P_{m+1},A}\), but it is also irrelevant now.

Well, in addition, what is \(\zeta\) in the definition of \(C\)? And I think that there is still a typo, because your \(C(\alpha,\beta)\) is independent of \(\alpha\).

Or I might misunderstood what you wrote. In the definition of \(M\) and \(\Psi\), you used \(\beta\) although you did not write \(\beta\) in the imput of them. Is it the \(\beta\) in the input of \(C\)? Then your definition of \(C(\omega,\omega)\) uses \(C(\omega,\pi)\) for any \(\pi\), and hence causes circular logic.