Αποστολή με SMS: Deducibility and decidability