$$
x_1 + y_1 = z
