SMS versenden: Deductive logic/