x \geq 0