SMS versenden: Logic for mathematicians