Totally-ordered_set loading ...