Added ModuleDefinition