Proper submodule.