reduce (4)