Email Record: Model theory and modules /