Error correction of a logical ... Note