Definition of "Hilbert"