Chapter 3. Formal Recognition