**3. Institutions of Statements**

Before we are going to define Institutions of Statements, we outline the running examples we have chosen to illustrate and validate our definitions. The reader should be aware that our framework is very abstract and thus also very flexible. It enables us to present one and the same specification formalism in various ways. Thus, the way we have chosen for each single sample formalism may be not the most adequate one and, especially, not the one preferred by the reader.
