lexicographic
not defined yet