Pre-Hilbert_space loading ...