Second-countable_space loading ...