SMS versenden: Logic and Proof Techniques /