Gödel's_encoding loading ...