puns are one of the most distinguished forms of humor