Chapter 36: Formal separation