Added the spectral theory stuff