x : N
x = x
