Added formula.h