sum Definition