New reduction function