“Puns are a form of humor with words.”

Guillermo Cabrera Infante