[chrisseaton]

In terms of the level at which we reason about thread interleavings, which is what we’re talking about, it is bound.