Completion_of_a_metric_space loading ...