Lexicographic ordering

Summary