x\ge 0