let n(a) {a} in n(5) + m(5) ; let m(a) {a+1} in m(5)