Searching for links to Godel: