adding delta reduction to RedAll.