Correction in logic