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

X^^(X+1) is undefined in this proposal.