Well-formed_formula loading ...