 The outcome of contracting \(K\) by \(p\) should be a subset of \(K\) that does not imply \(p\), but from which no elements of \(K\) have been unnecessarily removed. Therefore, it is of interest to consider the inclusion-maximal subsets of \(K\) that do not imply \(p\).