Godel, K.