x\geq y.