Y0 + 1 <= 0
Y0 - 2 <= 0