double addition works