Door wants path because hall needs clear. door will get path unless path is fixed on hall, this will cause clear to find the passage.
Door wants path because hall needs clear. door will get path unless path is fixed on hall, this will cause clear to find the passage.
q1r wants q1s because q1e needs q1o. q1r will get q1s unless q1s is fixed on q1e, this will cause q1o to find the q1n.