SMS versenden: Deducibility and decidability