g(m,n) = if (m <= 0) then n else g(n,m-1)