Lexicographic_ordering loading ...