A pun is like an inside joke for an entire language.