Leximin_order loading ...