User blog comment:Deedlit11/Is BEAF well-defined?/@comment-5150073-20121023091257/@comment-5529393-20121116171023

Thanks for this lengthy explanation. Unfortunately, I do not see the rhyme or reason to what you are saying. First you convert {3, 3, 3} to a tower of 3's than convert the 3's to X's. I'm a little puzzled by this - it suggests that the triakulus is 3^3^3...3^3 @ 3, which is way too small. Then you say "climb the array into that structure", but I don't see the pattern. What does X => X^X^X and X+1 => X^X^X^X signify?

Then you say

Triakulus = {3,3,3 #} = {3,{3,2,3 #},2 #} {3,2,3 #} = {3,3,2 #} = {3,{3,2,2 #} #} {3,2,2 #} = {3,3 #} = {3,3 (1) 3 #} = {3,3,3 (1) 2}

but that last equality makes triakulus way too small. The rest of the post seems to be defining triakulus using stages, but you are always using Bowers standard array notation, which won't get to how big triakulus needs to be anywhere fast. Also I'm again not seeing the pattern to your stages and substages. So I'm stumped.