Wyślij wiadomość: Deducibility and decidability