Universal_covering_space loading ...