<= y2 is now < y2