Pošalji tekstualnu poruku: Deducibility and decidability