 I then received new information that made me accept the belief “George is a shoplifter” \((r)\). The resulting new belief set is the expansion of \(K\div p\) by \(r\), \((K\div p)+r.\) Since \(p\) follows from \(r\), \((K\div p)+p\) is a subset of \((K\div p)+r\). By recovery, \((K\div p)+p\) includes \(q\), from which follows that \((K\div p)+r\) includes \(q\).