Draft talk:Helffer–Sjöstrand Formula