Anfonwch hwn fel neges destun: Deducibility and decidability