Tekstiviesti: Deducibility and decidability