User blog comment:P進大好きbot/Evaluation of Analysis/@comment-11227630-20181120084906/@comment-30754445-20181120101401

Small correction:

BEAF is already ill-defined as early as tetrational arrays (that's {n,n,2} & n}

{n,n,3} & n is already undefined. This comes before {n,n,n} & n = 3 & n & n ... which comes before n & n & n = {n,3/2} which comes before {n,n/2}

(I'm pretty sure hyp cos already knew this and that it was a typo. I've wrote the above correction for the benifit of those who aren't as familiar with BEAF)