Testing repo with a demonstration of the spectral theorem.