Added definition of addition as a constant.