reduction (5)