SMS versenden: Proof theory /