Formally_smooth_map loading ...