Post's_inversion_formula loading ...