unlexicographical
not defined yet