reductions (1)