Text this: Truth, deduction, and computation :