 Belief-contravening contraction is illustrated in Diagram 3. Contraction performed according to this rule can be shown to correspond exactly to partial meet contraction. Furthermore, the special case when the whole of \([\neg p]\) is added to \([K]\) corresponds exactly to full meet contraction. The other extreme case, when only one element of \([\neg p]\) (a “point” on the surface) is added to \([K]\) corresponds exactly to maxichoice contraction. Thus, in maxichoice contraction by \(p\) only one possible way in which \(p\) can be false \((\neg p\) can be true) is added.