SMS versenden: The concept of logical consequence