Definitions and Formulas