Відправити по sms: Deducibility and decidability