theory.forget_algebra