User blog comment:Googleaarex/Tetrational Arrays/@comment-25418284-20130311001458

Slightly off-topic: Wouldn't it be nice if we could define BEAF purely using ordinals, using something like {4, 4, 4, 4} <=> ω^3 × 4 + ω^2 × 4 + ω × 4 + 4? That way BEAF could easily keep up with FGH.