Ack(m, m) =>
n + 1 if m = 0
Ack(m-1, 1) if n = 0
Ack(m-1, Ack(m, n-1)) otherwise
Ack(m, m) =>
2n if m = 0
0 if m >= 1, n = 0
2 if m >= 1, n = 1
Ack(m-1, Ack(m, n-1)) otherwise m >= 1, n >= 2