Puns are the droppings of soaring wits.