x_1 ... x_8