The states written in after that before does not hold, as by a promise (delayedAssign) whose writes only happen once a read forces it.
after
before
delayedAssign
The states written in
afterthatbeforedoes not hold, as by a promise (delayedAssign) whose writes only happen once a read forces it.