Definition:Indexed Summation