Strategies and Formulas