Figure 2:
The semantics of the language
.
