Update formula.txt