Nonneg
conds