 Skeptical consequence, as based on Reiter’s notion of extension, fails to be cautiously monotonic  (Makinson 1994).  To see this, consider the default theory \((\emptyset, \Delta)\), where \(\Delta\) comprises the following two defaults: 