Trinitarian_formula loading ...