M>= <=