Is the problem even well-defined? How would you state the problem so that `y` is wrong and `y + Sum(x, (i, 0, n))` is right?