Үүнийг мессежээр илгээх: Deducibility and decidability