User blog comment:P進大好きbot/Please Help me on study of Pair Sequence System (2-rowed Bashicu Matrix System)/@comment-35870936-20180813215517/@comment-35470197-20180813221901

Thank you. Since I am not fully understanding UNOCF, I try to study it more.

> It's psi(W_w), without any shadow of a doubt.

Hmm... So could you give me an answer where I am wrong? I could not understand why 1=3. We have \begin{eqnarray*} & & \psi_0(\psi_1(\psi_2(0))) \leq \psi_0(\psi_1(\psi_2(\psi_3(0)))) \leq \psi_0(\psi_1(\psi_3(0))) \\ & \leq & \psi_0(\psi_2(0)) = \psi_0(\psi_1(\psi_2(0))) \end{eqnarray*} and hence the analysis satisfying 1=3 is incorrect, if I am correct.