17 Formulas and Theories