Occasionally it is convenient to have a command skip available. skip denotes the identity state transformation and could be simulated by a trivial assignment v:=v. Clearly, ``;'' is associative with two-sided unit skip .
