Pošalji tekstualnu poruku: A theory of formal deducibility