`y < -2x + 1`