User blog comment:SuperJedi224/Part 2/@comment-68.186.6.2-20150801020641/@comment-99.185.0.100-20150807233846

Now ARR2(a,b,1) = $$\underset{b}{ARR(\underbrace{a,a,...,a,a})}$$ and ARR(a,b,c) = \underset{b}{ARR(\underbrace{ARR(a,b,c-1),ARR(a,b,c-1),...,ARR(a,b,c-1),ARR(a,b,c-1)})}