Input (grade 10): If processors can read the same old value after the write made by P2, we can say that the memory is incoherent.
Output (grade 10): If processors can read the same old value after the write made by P2, the memory would not memory be coherent.