6-x \geq 0