SMS versenden: Ways of proof theory