Zaslat SMS: A theory of formal deducibility