Second version of the reduction.