Chapter 9 Formalization Fluid