  An important special case of DR is a normal default, a simple rule to the effect that C holds by default, conditionally on assumptions A1,…,An. This can be formalized by taking the condition that must be absent to simply be the negation of the conclusion.