Banach_space loading ...