t></tt></b>
<br><img SRC="Transition2.gif" height=345 width=561>
<p><b><tt><font color="#000066"><font size=-1>Figure 9 Editing mode: specify
right-hand side variable is different from left-hand side</font></font></tt></b>
<p><img SRC="Transition4.gif" height=188 width=418>
<p><b><tt><font color="#000066"><font size=-1>Figure 10 Editing mode: finished
editing one transition</font></font></tt></b>
<p><img SRC="Transition5.gif" height=175 width=471>
<p><b><tt><font color="#000066"><font size=-1>Figure 11 move