delta reduction