Auxiliary_normed_spaces loading ...