There are two other ideas for localizing inconsistency. 1. The formal use of contexts as objects as proposed in http://www-formal.stanford.edu/jmc/context.html. 2. The use of nonmonotonic reasoning. For example, \lnot Ab-comp(p) \rightarrow (\exists x)(\forall y)(y \in x \equiv p(x)). Ab-comp is to be minimized, e.g. by circumscription.