 Inclusion is usually considered to be a constitutive property of contraction. However, it has also been questioned with the argument that when the epistemic agent ceases to believe in \(p\), then this is usually because she receives some new information that contradicts \(p\). Arguably, that information should be included in \(K\div p\). 