Original: If processors can read the same old value after the write made by P2, we can say that the memory is incoherent.
Simplified: If processors can read the same old value after the write made by P2, the memory would not memory be coherent.