SMS versenden: Logic and reasoning in mathematics