Chapter 38: A Formal Declaration