Deductive correction