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

The third equality is wrong. \(\psi_0(\psi_1(\psi_3(0))) > \psi_0(\psi_2(0))\)