2.3. The Formal Viewpoint