Add some formulas