Next: The Conditional Constructor
Up: The Sequence Constructor
Previous: Semantics
The term ``sequence'' may be misleading here. We are not executing first
,
then 
,
then 
,
etc.. A better term is ``block''.
(This remark is written at the proofreading stage.)