Submodule addition