I noticed that Vel lately edited the articles on googological functions so that instead of saying at the top of the page "Growth rate = f_whatever(n)", it's "Growth rate = eventually dominates anything provably recursive in whatever set theory". It's obvious why - the latter types of statements are more mathematically precise. But in my opinion, we should still include the fast-growing hierarchy growth rates, because those are actually easy for readers to understand, and maybe formulate them in a way that's as mathematically precise as the set theory stuff. Discuss this here.