How does dramatic irony work?