Nonnegativity of $\psi$