idea
What stays open
To make it rigorous for minds or governments, someone has to write down a formal model: an agent is a theory, and its beliefs are its theorems. Inside that model the arrogance result is exact. Whether real minds or institutions fit the model is a separate claim.