Waldspurger_formula loading ...