The pun, of course, is a much maligned form of humor. Noah Webster, in his first edition of the American Dictionary of the English Language (1828) defines the pun as “an expression in which a…