another use of Sigma for reduce(+)