The undo has to exist before the write does

An agent that changes something runs in the order decide, act, report. Verification, where there is...