 In Diagram 1, \([K]\) and \([p]\) have a non-empty intersection, which means that \(K\) is compatible with \(p\). The revision of \(K\) by \(p\) is therefore not belief-contravening. Its outcome is obtained by giving up those elements of \([K]\) that are incompatible with \(p\). In other words, the result of revising \([K]\) by \([p]\) should be equal to \([K]\cap[p]\).