SMS versenden: First course in mathematical logic