Comment by badlibrarian

Evoking Gödel via GPT, with the requisite em-dash: "No sufficiently expressive formal governor can be simultaneously consistent, complete, and able to prove every relevant proposition—including all propositions about itself."

But "Read AGENTS.md, including the middle" sure helps.