Complete formal description of Anderson's Emendation