Injective_metric_space loading ...