writes follow reads

reading a value seals the past; later writes must take effect after the writes that were observed

“Writes follow reads ensures a process cannot undermine causality by overwriting what it observed.”