I think the point is that read-after-write is exactly the desired property here.