Discussion about x_ge_x