Since both this clause and the next clause are basically doing a reduction, I think we can get rid of this one altogether.