Derivation of formulas