3 ms·

I remember reading some sci-fi involving a treaty so complicated it had to be machine-verified. Too bad about that Gödel guy, though.