Text this: Hilbert spaces in intuitionism =