Right, because the undo buffer is a list of transactions, not a comparison against disk state.