x+y\geq 0