dubjavmau lujvo

x1 is greater than or equal to x2.