Godel_encoding loading ...