Second_countable_space loading ...