(+ x_y 1)