Section 4 Formal Presentation