Update formula.h