Are puns, proverbs, metaphors, and analogies lower-order or higher-order logic?