and that also means that our relaxed planning graph will be smaller than the planning graph generated by graphplan, because this condition for termination is actually much simpler, and we terminate sooner.