Locally_normal_space loading ...