|- N x = if x > 100 then x − 10 else N (N (x + 11))