Borel_algebra loading ...