REDUCE.