Textmeddelande: Deducibility and decidability