Title: Microlocal Analysis and Precise Spectral Asymptotics