“…A rigorous derivation of () from () was carried out by Shapiro, Fefferman, and Weinstein in a sequence of papers,
26,36,37 following earlier work of Lee‐Thorp, Fefferman, and Weinstein
38 as well as work of Helffer and Sjöstrand
39,40 . The basic idea is to replace V by
and then consider the limit of large
.…”