And finally, there was a man who sent ten different puns to friends, in the hope that at least one of the puns would make them laugh. Unfortunately, no pun in ten did.