working on Hilbert