define some reductions and other small improvements