Strongly_measurable_functions loading ...