Invia SMS: Deducibility and decidability