0<=x<=y