Completely_normal_space loading ...