SMS versenden: Reasoning and formal logic :