User blog comment:Cookiefonster/My informal proposal of BEAF from limit of tetrational arrays up to SVO/@comment-5150073-20140920170843

Your proposal was actually considered, and it doesn't match the requirement that X^^(X+1) & n should have n^^(n+1) entries.