Unital_algebra loading ...