  Here we discuss a new simplified proof of the essential self-adjointness for
formally self-adjoint differential operators of real principal type, previously
proved by Vasy (2020) and Nakamura-Taira (2021). For simplicity, here we
discuss the second order cases, i.e., Klein-Gordon type operators only.
