Godel 2 progress