Formulas and Notation