y\geq 0