Text this: Deducibility and decidability /