User blog comment:Wythagoras/A far better bound for TREE(3)/@comment-5529393-20140622122929/@comment-10429372-20140623055757

I don't have [][][][]...[][][][], they are inside one bracket. You can see it in the first part.

And yes, I know that Kirby Paris Hydra goes only up to ε0. I meantioned that in the blog, but, I wasn't sure whether we could use tree ordering there. I now see the ordering you meant, and why it works. Nice!