User blog comment:Ikosarakt1/BEAN is much stronger/@comment-5529393-20130613095744/@comment-5529393-20130613103718

I didn't misunderstand you, I was just expressing skepticism. :)

It looks like you still say that [1[1 ~ 1 ~ 2] 2] is at the level of {X, X / 2}, which is at the level of the large Veblen ordinal, and I think we agreed on that before. So it is from there on out that is now different.