Writing a reduction function