Auxiliary_normed_space loading ...