x_ge_x