When the final state (J) is removed from PQ, the process stops and the solution can be constructed.