A few more formulas