"Puns are a form of humor with words." — Guillermo Cabrera Infante