lexicographically

not defined yet