User blog comment:QuasarBooster/The Wackermann function/@comment-35470197-20200217011154/@comment-24923514-20200217020906

I don't think I'm nearly clever enough to make arithmetisations that reach that level. I'll definitely keep trying though!