Y0 + 1 <= 0