Why is this `<=` for `x` and `<` for `y`?