Lexicographic ordering.