reduction documented