proper submodules