User blog comment:Hyp cos/Analysis - BEAF, FGH and SGH (part 3)/@comment-24509095-20140627145933/@comment-5150073-20140627151425

Indeed, at least because BEAF hasn't things like $$X_n$$. They weren't mentioned even slightly in the original source. I'm still 99% sure that the limit of sub-legion BEAF is $$\theta(\Omega^\Omega)$$.