Preordered_set loading ...