Completely_hausdorff_space loading ...