"as it is necessary that a participant thread be able to delay the progression of other threads indefinitely" → "as each thread is delaying the others"?