Text this: Deducibility and decidability