"Well, have you met Dr. Gödel?"