Nice essay. I largely agree. The key to AGI will have to be something well-defined yet informal. Sounds like a contradiction because language currently has no accurate word for what I meant to say by "well-defined". The term currently means something like "axiomatically defined".