The most interesting use of the rule I ever saw came in 1970 or 1971 by Gil Hodges when he was managing the Mets against, I believe, the Pirates, though I might be wrong about that. The Pirates handed the umpires a lineup card that was different from what was posted on the scoreboard (which doesn’t matter, the card is what counts), and the wrong batter came to bat in the second inning. He made out, and Hodges didn’t do anything. His next time up, he doubled to drive in a run, and Hodges came out to complain to the umpires, who upheld him. The run was erased, the runner went back to first, the batter was out, and as I recall it changed the course of the game, which the Mets won.