Page "Lehman spectral representation" not found :(