Don't we sometimes need a real undo token?