Further extraction of a module.