bounded_linear_operator