[...] provability is a weaker notion than truth

“This computer-generated pangram contains six a's, one b, three c's, three d's, …”

“Meaning lies as muchin the mind of the readeras in the Haiku.”

“No, no - I think about thinking”

“Hofstadter's Law: It always takes longer than you expect, even when you take in…”