[main_godel.png]