Enter a precondition in the require field. A precondition clause will be added to the feature: ... require n >= 0 ...

29b32f9e-799d-de91-d62d-79bdb509144b