Exhaustion_by_compact_sets loading ...