nonnegativity

not defined yet