dep stu lujvo

s₁ is a waiting room/place where d₁ waits for d₂.

In notes:

depypoi: p₁ is a waiting queue ordered by rules p₂ on unordered set p₃ waiting for x₄=d₂.