Chapter 1. About the Specification