Inner_product_space loading ...