finished definition of premodule