Modules get extracted from the model