nonnegativity condition