Correction Mechanisms: Requirements and Exceptions