 Attempts have been made to construct operations of contraction on belief sets that do not satisfy Recovery. Arguably, the most plausible of these constructions is the operation of severe withdrawal that has been thoroughly investigated by Hans Rott and Maurice Pagnucco (2000). It can be constructed from an operation of epistemic entrenchment by modifying the definition as follows: