[Nat+2]