ParentFull threadGodel_unicode·GP is not disputing that. They're pointing out that we know this, but not why.View on HN