reductions

not defined yet