Text this: Nonlinear analysis and microlocal analysis :