User blog comment:Googleaarex/Bashicu Matrix System Analysis (Part 1)/@comment-27516045-20170725132813/@comment-24061664-20170725231355

Bashicu said that he devised his own system of ordinal collapsing function and uses that on his analysis. He once tried to analyze in the same way as this page, and found that expressing the ordinal corresponding to (0,0,0)(1,1,1)(2,2,1)(3,1,0)(2,2,1) is difficult. It is not (\psi_\Omega(\Omega_{\Omega\cdot\omega})\). He then devised his own definition of OCF.