Riemannian_connection_on_a_surface loading ...