@david_chisnall I just squint and say "Gödel's incompleteness theorems" whenever thinking about these