x : N
x = x