SMS dit: Deducibility and decidability