added the rule that insert n-truncation in a truncated Sigma