The sequential execution of the steps of an algorithm is denoted by placing a semicolon between them.
These are the names of three abstract algorithms to be executed
one after the other. The semicolon is a <#1461#>separator<#1461#> between
them (not a terminator), and can be read as ``and then''.
We call such a sequence a <#1462#>paragraph<#1462#>, and its constituents
<#1463#>units<#1463#>. The example paragraph above contains 3 such units
and its execution consists of the execution, in that order, of
the three units. In this way the <#1464#>effect<#1464#> of the paragraph
is the composition of the effects of its units. The <#1465#>value<#1465#>
of a paragraph (if any) is the value of its last unit.