Definition:Sum (Addition)