A rule you can recite is not a rule that runs: the bounce check replayed
The bounce check, replayed on the three real cases after the fix: a bounced address, a delivered one, and a mailbox read that fails.
Shown in context on: A Rule You Can Recite Is Not a Rule That Runs