I think a common mistake people make about puns is that they often believe puns are meant to make people laugh. This is not so! The emotion that puns are meant to elicit isn’t joy, it’s rage.