Discussão sobre x_ge_x