Submodule maddness notes