Submodule formulas