More on whitepaper: added theory for modules