12.8 We said in Section 11.6 that the SELECT-SUB-GOAL part of the POP algorithm was not a backtrack point—that we can work on subgoals in any order without affecting completeness (although the choice certainly has an effect on efficiency). When we change the SELECT-SUB-GOAL part to handle hierarchical decomposition, do we need to make it a backtrack point?