This is the definition of dramatic irony