User blog comment:Vel!/Googology and well-defined-ness/@comment-37993808-20191127135824

Five years ago BEAF was ill-defined. Now, it is well-defined and lies in the grade A or B - entirely until lugion arrays. Legion arrays are actually well-defined - even simple legion arrays transcend BHO and stop at the level of Bashicu's pair sequence function. Well-definedness of lugion arrays and behind is actually in question - I'm going to fill in some gaps in definitions at this level.