A mental situation m is the goal stack derivation of a plan for a planning problem if: (1) there are no formulas in the goal stack associated with m; and (2) it is minimal with respect to the search strategy.