" Puns are at their core defined by multiplicity of meaning, not necessarily humor. The common expectation that puns should always be funny, or die in the attempt, is a relatively modern development. "

― , The Pun Also Rises: How the Humble Pun Revolutionized Language, Changed History, and Made Wordplay More Than Some Antics