0 + 1 + 2 + 3 : Nat
0 : Nat