unlexicographically

not defined yet