y\geq-x