truncation of a module