Ole,
RobberA is robbing a bank and posts her accomplice, RobberB, outside the door to keep watch. Independently, RobberC arrives on the scene to rob the bank as well, noticing that the bank is <<being>> robbed, she takes off and vows to give up her life of crime.
Compare: RobberA&B finish their hard days work and leave, when RobberC arrives, .2s later, to Rob a bank that has no money, three dead clerks, a screaming child and cops on their way. RobberC gets hanged for murder.
Compare: RobberA&B finish their hard days work and leave, when RobberC arrives, 1s later, and notices the bank security guard coming out the door in pursuit of RobberA&B. RobberC robs a different bank.
The case I was differentiating was between 0 && !0 where actionable information is held by the mutex or semaphore itself, and no other variables are required. Obviously in the difference between .2 and 1 is not contained within the semaphore but in some other time variable.
With that said, I have no intention of robbing a bank, at least in the foreseeable future, and the question from my side at least was pure pedantry. I withdraw the question ;)
Thanks again for your great work, and--just as importantly--careful oversight of this forum.
Bradley