Locally_metrizable_space loading ...