some formulas