reductions appear to work