 In order to give up a conjunction \(p \amp q\), the agent must relinquish either her belief in \(p\) or her belief in \(q\) (or both). Suppose that contracting by \(p \amp q\) leads to loss of the belief in \(p\), i.e., that \(p \not\in K\div(p \amp q)\). It can be expected that in this case contraction by \(p \amp q\) should lead to the loss of all beliefs that would have been lost in order to contract by \(p\). Another way to express this is that everything that is retained in \(K\div(p \amp q)\) is also retained in \(K\div p\):