Topology_of_uniform_convergence loading ...