Gödel_machine loading ...