Borel_measurable loading ...