42 : Nat
42 : Nat
42 : Nat
42 : Nat