Text this: Godel's theorem simplified /