Metrizable_space loading ...