A reminder that "irony" means when the opposite of what is or should be expected is what happens in a poem or story. And that "pun" is a play-on-words usually for a comical purpose and effect.