s(m,n) = if (m > n) then 1 + s(m-1,n)
             else 0