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

> That doesn't make any sense.

So which equality is incorrect in my expansion?

> Otherwise, I'd suggest not looking at expressions that get directly translated to non-standard expressions, as weird stuff happens if we try to derive conclusions from nonstandard expressions.

I am not looking at the expressions. I know (0,0)(1,3) and (0,0)(1,1) corresponds to the same ordinal, but it does not mean \(\psi_0(\psi_3(0)) = \psi_0(\psi_1(0))\). I am just comparing the values of OCFs.