Derivation of Formulas