 Core-retainment requires of an excluded sentence \(q\) that it in some way contributes to the fact that \(K\) implies \(p\). It gives the impression of being weaker and more plausible than Recovery. However, it has been shown that if an operator \(\div\) for a belief set \(K\) satisfies Core-retainment, then it satisfies Recovery.