Reduction_of_summands