Perfectly_normal_Hausdorff_space loading ...