User blog comment:MilkyWay90/Extension to the Up-Arrow Notation/@comment-35434595-20180601005626

There’s no base case