Given an initial state, a goal state, and a set of operators that change state, prove a partial ordering of operators that entails the goal state.