10 + 1 : Nat
10 + 2 : Nat