Borel_sigma_algebra loading ...