SMS versenden: Set theory and logic