Real_and_imaginary_parts_of_a_linear_functional loading ...