Construction of addition - davidsmartin