Definition:Empty Sum