Definition:Summation by Iverson's Convention