Figure 3:
The semantics of the language
.
