??ANSWER TO EXERCISE 16

Insert these lines into the before rule for PushDir:

               if (second==u_obj) <<PushDir self n_obj>>;
               if (second==d_obj) <<PushDir self s_obj>>;

Back to the exercise in section 14
Mechanically translated to HTML from third edition as revised 16 May 1997. Copyright © Graham Nelson 1993, 1994, 1995, 1996, 1997: all rights reserved.