====== Gödel ======