Let's make sure we are using the right language -- Unified does not guarantee that "public win == private win". It guarantees that they are *eventually* the same, not immediately and always the same. It is completely allowable for processes to have inconsistent views of the window (because there are cached copies of the data and buffered reads/writes). The question we are debating is whether it is a reasonable semantic that those inconsistent views become eventually consistent without additional MPI calls by target processes. And, if we choose to keep the "eventual" semantic that we currently have, whether any ordering imposed by other processes should be observed by the target process in load/store operations, provided that process performs no window synchronization calls.