Put in some formulas