web_algebra
