Helffer–Sjöstrand_formula loading ...