https://9lib.org/document/yd7m264j-b-assume-ˆa-admits-degeneration-spectrum.html