10 : Nat
10 : Nat
20 : Nat