reduction (4)