====== Godel ======