Gödel_Lecturer loading ...