Regular_algebra loading ...