So we test this in the next step we test whether this plan was failure, and if it's not, then we go to this loop if it's still not failure then we come to the point where we will return our solution Plan, but if it was failure and we have reached a fixed point in the plan, so an expansion of the plan will no longer give us more propositions or more actions in our action 