f : N -> N f(x) = x + g : N -> N g(x) = {? 5 if x > 5 .+ 4, 6 otherwise ?}