Pošljite SMS: Deducibility and decidability