Red-reduction division
Red-reduction division