redicate;</tt></li>

<li>
<tt>Click button "Add Initial" to add the current edited state as one of
the initial states.</tt></li>

<li>
<tt>Repeat previous procedure to build initial and goal state as shown
in Figure 16.</tt></li>

<li>
<tt>When all editing procedures are finished, click "Verify Tasks" button
to verify tasks. If all states are valid then click "Commit" button to
add this task to the "briefcase" domain.</tt></li>

<li>
<tt>Close the "Tasks View" window.</tt></li>
</ol>

<center><img SRC="Task