Lexicographical_ordering loading ...