Countably_locally_finite_collection loading ...