Jensen's_formula loading ...