 configurations_   _and_   _agree on the memory state and on the states of processes not in_  _, but they disagree on the states of processes in_  .  Proof  Starting in  , we reach   by letting the processes in   write, then read in the first layer, and we reach   by 