A single reader thread cannot read a value written by a write, then later read a value written by a write that happens before the first write.