Addition in N