Bounded_linear_functional loading ...