SMS versenden: Godel's proof