Derivation of formulas.