SMS versenden: The philosophy of mathematical practice