include example list of formulae, file.txt