Not itself an undo, not already undone, complete, not a step of
OpEntry.undoable: bool
another operation, and of a reversible kind.