0le 0leq