i.e. it undoes by writing new records.  This means undone transactions
can be redone.  It also has lots of other benefits.