Next:
Abbreviations
Up:
Semantics
Previous:
Remark
Runs
The definition of runs in remains in force.
