[Nat+(red)]