Nonnegativity checked