User blog comment:DrCeasium/Hyperfactorial array notation: Analysis part 2/@comment-25418284-20130526184203/@comment-1605058-20130526214950

I think we can reach Bachmann-Howard within 2D arrays