refined submodules