Gödel_solution loading ...