Definition:Primitive Addition