Normed_space loading ...