SPECIFICATION OF MODULES: