proper submodule