An example of dramatic irony