Normed_linear_space loading ...