I think this is correct but in the last sentence it should be x<y.