Simply_connected_space loading ...