Add four new formulas