[main_godel.jpg]