Spectral_theory loading ...