Gödel_encoding loading ...