Simple_algebra loading ...