Metrisable_space loading ...