In defense of puns, you can’t have laughter without ugh