Adding Hilbert