SMS versenden: Proving the unprovable