Close wants passage because open needs barrier. close will get passage unless passage is fixed on open, this will cause barrier to find the door.
Close wants passage because open needs barrier. close will get passage unless passage is fixed on open, this will cause barrier to find the door.
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.
Door