Instruction and Its Expansion

Counter Example

Correction

Error propagation