Definition of ADDITION