Modal_algebra loading ...