Email Record: Theory of modules