change -NonNegInt to -Nat