suppose we are given a partial plan, consisting of actions, orderings, bindings, and links and we can say that this is a solution to a planning problem consisting of a state transition system, initial state and goal, if three conditions hold.