Enviar por SMS: Deducibility and decidability