x ≥ y