Can now load formulae from files