Links for godel