Run the final solution-reduction pass in both directions, since