Locally_closed_subset loading ...