User blog comment:Bubby3/BM1 is weaker than expected./@comment-5029411-20180326103206

I have analyzed the limit of BM1 too. The limit of BM1 is $$\psi(\varepsilon_{\Omega+\omega}\Omega^{\Omega^{\Omega}})$$.