DCS.F.1.3: Implement procedures to find the sum of a finite sequence.