A serious problem with puns