Completely_Hausdorff_space loading ...