Text this: Godel's theorem :