Given a total order on the set of
appropriate mental actions for a
mental situation, the relation
that sorts the set
of mental situations according to the
order in which they are explored by
the depth first search strategy
associated with 
is defined by axiom 
-a variation of axiom (10)
in [5].
