Uniformly_convex_Banach_space loading ...