[godel.bmp]