Title: On Hilbert spaces with a kernel function