 (1) If partial meet contraction is performed directly on the belief set, then it follows from Recovery that \(h \in K\div c+c\), i.e. \(h\) comes back with \(c\). This is contrary to reasonable intuitions.