[godel.gif]