SMS versenden: Mathematical logic