[cpp-threads] Editorial comments on the straw man

[Nelson, Clark]

> If we do things right, none of this should matter, except in 
> how things
> get written down.  All the formulations should be equivalent.  Only
> programs with data races can tell the difference, and they have
> undefined semantics.

Of course -- but how we write things down is not an issue we can avoid
forever. I'm trying to help make progress in that area. Do you think I'm
being premature?

Clark