Chapter 4: Formulation and implementation