[Nat+1]