1993/godel.r