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

I see that you have ([]) at SVO+1, and [] at SVO+ε, but what can those two reduce to? The only trees that we cannot embed ([]) or [] into are trees consisting solely of or consisting solely of [].