I am having trouble reconciling the examples with the description of how B-threads work. Take the three-thread version of the 'water level' example: we start wi

I am having trouble reconciling the examples with the description of how B-threads work. Take the three-thread version of the 'water level' example: we start with the first two B-threads waiting on 'waterLevelLow', but the third thread is not waiting on anything, and presumably could advance to the point where it is waiting on 'addCold' - but it has blocked 'addCold' from occurring (a fact used later in the example), so if it did advance before 'waterLevelLow' occurred, it would become deadlocked. I think there must be more complexity here than is being explained.