State change Explicit state change Illustrative lines, not from Note G Op Operation Inputs Destination 1 × V1, V2 V3 2 + V3, V4 V4 Only the destination, V3, changes. Nothing else was told to change. The store before after op 1 V1 2 2 unchanged V2 3 3 unchanged V3 0 6 changed V4 10 10 unchanged