Updating formulas as in our code