Finite Sums, Matrices and Induction