 The smoothness condition is almost the same as condition (L) of  section 3.2.1  above. This notion of a model allows for a modification of the classical definition of entailment in such a way that it becomes compatible with the idea of defeasibility or nonmonotonicity: