Text this: Deduction systems /