First formulas