Definition:Vacuous Summation