...
- A write to a variable does not depend on its current value
- An operation on the A write to a variable does not depend on operations that involve reads and writes of other variables
- Locking is not required for any other reason (all actions are atomic)
...