Gödel loading ...