 An important practical problem that arises from applying formal models of defeasible reasoning is that of updating in light of new or retracted information. Must we re-compute the nonmonotonic consequences from scratch each time updating is required?