Tagged: ascending chain of submodules