שליחה במסרון: Deducibility and decidability