Term_algebra loading ...