More info
menu display
Godel 2 progress