Implement `undone`