Given commands 
and 
the sequential execution of ``first , then '',
is described by `` ; '', that is
At this point we note that assignment and sequencing alone do not add ``computational power'' going beyond the evaluation of terms in the data type. That is, a sequence of assignments can always be replaced by one single parallel assignment.