Chapter 42: Feeling the Fear of Being Dominated by Formulas