Kuratowski_convergence loading ...