Completely_regular_space loading ...