Three-language_formula loading ...