Addition of modules