Borel_σ-algebra loading ...