Spectrum_of_a_theory loading ...