Well-ordered_set loading ...