I think someone should be talking to Godel.