Indefinite_inner_product_space loading ...