more on reduction, still not finished