Submodules are ridiculously confusing