Strictly_convex_space loading ...