Some formulas