Comment by TomK32

Worst-case we finally find out what Gödel's loophole is https://en.wikipedia.org/wiki/G%C3%B6del%27s_Loophole