Gödel_logic loading ...