User blog comment:Simplicityaboveall/Extremely Large Numbers 3/@comment-24920136-20160803133009

By the way, the increase from regular heshbar to heshbar q isnt even that great.

If heshbar_original(X) > f_someordinal(X) then

heshbar_X(X) > f_someordinal + 1 (X)