User blog comment:TheMostAwesomer/Some things/@comment-1605058-20141117051927

I don't get in what way up-arrows are less abstract that Ackermann function.