Proper_subset loading ...