nonnegation

not defined yet