Of course he will utilise Gödel's loophole, even if the will be eaten up by senility way before that. https://vger.to/piefed.social/c/mildlyinteresting@lemmy.world/p/2235644/while-preparing-for-his-u-s-citizenship-exam-mathematician-kurt-godel-believed-he-had-d