Rules of summation notation