Puns are a form of humor with words.

– Guillermo Cabrera Infante