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

I see that you try to create isomorphism between TREE's structures and FGH? Can you determine upper bound for TREE(n)?