Abstract
1. Introduction
2. Singh's (2008) Modifications if HC
2.1. Incremental Checking of Hc
2.2. Inconsistency
2.3. Incremental Constraint Enforcing Inconsistency
2.4. Discussion
3. Proposals
3.1. Analogies between disjunction and Correction
3.2. A Property of Corrective Claims
3.3. Explaining Singh's Generalizations
4. Concluding Remarks
References