Free_algebra loading ...